منابع مشابه
Probable Innocence Revisited
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze critically two different definitions of probable innocence from the literature. The first one, corresponding to the property that Reiter and Rubin have proved for Crowds, aims at limiting the probability of detection. The seco...
متن کاملProbable Innocence and Independent Knowledge
We analyse the Crowds anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Under such conditions we study, reformulate and extend Reiter and Rubin’s notion of probable innocence, and provide a new formalisation for it based on the concept of protocol vulnerability. Accordingly, we establish new formal relationship...
متن کاملThe Anatomy of Innocence Revisited
We refine previous analyses of Hyland-Ong game semantics and its relation to λand λμ-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.
متن کاملProbable Innocence in the Presence of Independent Knowledge
We analyse the C anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Under such conditions we study, reformulate and extend Reiter and Rubin’s notion of probable innocence, and provide a new formalisation for it based on the concept of protocol vulnerability. Accordingly, we establish new formal relationship...
متن کامل"The end of innocence" revisited: resistance of herpesviruses to antiviral drugs.
In the past 4 years, interest in drug-resistant herpesviruses has evolved from the realm of academic laboratory studies to that of great clinical importance. Recurrent and persistent infections due to the herpes simplex viruses, varicella-zoster virus, and human cytomegalovirus have been an unwelcome consequence of immunosuppression in graft recipients, cancer patients, and those suffering from...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.08.033